package org.xteam.sled.semantic.exp;

public class FalseHood extends DefaultExpVisitor {

	private boolean value;

	public boolean test(Exp e) {
		value = false;
		e.visit(this);
		return value;
	}

	@Override
	public void visitCondition(ExpCondition expCond) {
		value = false;
	}
	// fun falsehood (U.FALSE) = true
    // | falsehood (U.ANDALSO l) = List.exists falsehood l
    // | falsehood _ = false

}
